digraph TS_3 {
c0 -> c0 [label="input_french"]
c0 -> c0 [label="output_italian"]
c0 -> c1 [label="input_german"]

[initial = {c0} ]
[final = {c1} ]
}


